BEGIN {
	print "digraph finite_state_machine {";
}
{
	print $1	" -> " $2 " [ label = \"" $3 "\" ];";
}
END {
	print "}";
}